\frame[containsverbatim]
{
  \frametitle{LockCountAnalysis implementation (continued)}
  Meet function
{\scriptsize
\begin{verbatim}
public void meetInto(LockCount fact, Edge edge, LockCount result)
        throws DataflowAnalysisException {
  if (fact.isTop() || result.isBottom()) {
    return;
  }
  if (fact.isBottom() || result.isTop()) {
    copy(fact, result);
    return;
  }
  if (fact.getCount() != result.getCount()) {
    result.setCount(LockCount.BOTTOM);
  }
}
\end{verbatim}
}
}
